<?php

class Card
{
	public $num;
	public $type;
	public function Card($num,$type)
	{
		$this->num=$num;
		$this->type=$type;
	}
}

$cards = array();
for($i=0;$i<13;$i++)
	for($j=0;$j<4;$j++)
		$cards[]=new Card($i,$j);

echo json_encode($cards);